dash: Put the dot back into its box

When commit 3a9acb96 moved around padding to extend the clickable
area to the screen edge, it reduced the inner padding too much and
the running indicator ended up outside the highlighted area.

Adjust the padding to put it back into its place.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1693>

diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss
index e3b9c59a817b5f7e648c5b8267af0d4e7540ea14..1ebd8ecffd657af01148c4b18e6e66523d07212e 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_dash.scss
+++ b/data/theme/gnome-shell-sass/widgets/_dash.scss
@@ -40,7 +40,7 @@ $dash_border_radius: $modal_radius * 1.5;
 
 // Dash Items
 .dash-item-container .app-well-app, .show-apps {
-  padding: 0 $dash_spacing $dash_bottom_margin;
+  padding: $dash_padding $dash_spacing $dash_padding + $dash_bottom_margin;
 }
 
 .dash-separator {